TSTP Solution File: DAT288^1 by SInE---0.4